Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
131	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
132	Cellular Automata as Algebraic Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Combinatory logic Lambda calculus Logic in computer science Group action Groupoid Abstract algebra Mathematics Algebra
133	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Formal methods Theoretical computer science Type theory Variables Closure Free variables and bound variables Constant folding Combinatory logic Software engineering Mathematics Computing
134	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
135	A Semantic Model for Graphical User Interfaces Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-07-12 04:10:50 Logic in computer science Deduction Denotational semantics Sheaf Entailment Combinatory logic Function Functional-theoretic algebra Natural deduction Logic Mathematics Abstract algebra
136	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
137	To appear in Proc. ISCTA ’99 The Discrete Noiseless Channel Revisited.∗ Aamod Khandekar, Robert McEliece, and Eugene Rodemich California Institute of Technology Pasadena, California, USA Abstract: In this paper, we w Add to Reading List Source URL: www.systems.caltech.edu Language: English - Date: 2005-01-09 12:18:18 Matrix theory Statistical theory Symbol Perron–Frobenius theorem Combinatory logic Entropy Mathematics Theoretical computer science Statistics
138	Generalized Label Reduction for Merge-and-Shrink Heuristics Silvan Sievers and Martin Wehrle and Malte Helmert Universit¨at Basel Basel, Switzerland {silvan.sievers,martin.wehrle,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-05-12 05:45:15 Lambda calculus Logic in computer science L-reduction Combinatory logic Reduction Friedrich Robert Helmert Theoretical computer science Computational complexity theory Applied mathematics
139	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Applied mathematics Normalisation by evaluation Combinatory logic Church encoding Type theory Fixed-point combinator Lambda calculus Theoretical computer science Mathematical logic
140	Continuation Hierarchy and Quantifier Scope Oleg Kiselyov and Chung-chieh Shan 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-21 03:17:21 Semantics Predicate logic Quantification Model theory Logic in computer science Combinatory logic Denotational semantics First-order logic Free variables and bound variables Logic Mathematical logic Theoretical computer science

UPDATE